Skip to content

chore: add pre-push hook + update CONTRIBUTING.md#53

Merged
Xinze-Li-Moqian merged 1 commit into
mainfrom
chore/pre-push-hook
May 27, 2026
Merged

chore: add pre-push hook + update CONTRIBUTING.md#53
Xinze-Li-Moqian merged 1 commit into
mainfrom
chore/pre-push-hook

Conversation

@Xinze-Li-Moqian
Copy link
Copy Markdown
Contributor

Summary

  • Add .githooks/pre-push — runs lint.sh before every push
  • Rewrite CONTRIBUTING.md for the new branch strategy

Test plan

  • bash scripts/lint.sh passes locally

- .githooks/pre-push: runs lint.sh before every push
- CONTRIBUTING.md: rewritten for main/development branch strategy,
  setup instructions include hook activation
@vercel
Copy link
Copy Markdown

vercel Bot commented May 27, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
proof-atlas Ready Ready Preview, Comment May 27, 2026 4:13am

Request Review

@Xinze-Li-Moqian Xinze-Li-Moqian merged commit fffbecd into main May 27, 2026
5 of 6 checks passed
@Xinze-Li-Moqian Xinze-Li-Moqian deleted the chore/pre-push-hook branch May 27, 2026 04:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant